大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Computer Security-ESORICS 2006 [electronic resource] : 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006. Proceedings

0
索取号:
作者:Gollmann、 Dieter.、Meier、 Jan.、Sabelfeld、 Andrei.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Sputtering by Particle Bombardment [electronic resource] : Experiments and Computer Calculations from Threshold to MeV Energies

0
索取号:
作者:Behrisch、 Rainer.、Eckstein、 Wolfgang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Grid Computing Security [electronic resource]

0
索取号:
作者:Chakrabarti、 Anirban.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Computer Systems Architecture [electronic resource] : 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings

0
索取号:
作者:Jesshope、 Chris.、Egan、 Colin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

UbiComp 2006: Ubiquitous Computing [electronic resource] : 8th International Conference, UbiComp 2006 Orange County, CA, USA, September 17-21, 2006 Proceedings

0
索取号:
作者:Dourish、 Paul.、Friday、 Adrian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

High Performance Computing and Communications [electronic resource] : Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings

0
索取号:
作者:Gerndt、 Michael.、Kranzlm眉ller、 Dieter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Autonomic and Trusted Computing [electronic resource] : Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings

0
索取号:
作者:Yang、 Laurence T.、Jin、 Hai.、Ma、 Jianhua.、Ungerer、 Theo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Services Computing [electronic resource]

0
索取号:
作者:Zhang、 Liang-Jie.、Zhang、 Jia.、Cai、 Hong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Soft Computing in Image Processing [electronic resource] : Recent Advances

0
索取号:
作者:Nachtegael、 Mike.、Van der Weken、 Dietrich.、Kerre、 Etienne E.、Philips、 Wilfried.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Ubiquitous Intelligence and Computing [electronic resource] : Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006. Proceedings

0
索取号:
作者:Ma、 Jianhua.、Jin、 Hai.、Yang、 Laurence T.、Tsai、 Jeffrey J.-P.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Software - ICMS 2006 [electronic resource] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

0
索取号:
作者:Iglesias、 Andr茅s.、Takayama、 Nobuki.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

OMDoc-An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Allan Bundy

0
索取号:
作者:Kohlhase、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Relations and Kleene Algebra in Computer Science [electronic resource] : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29鈥揝eptember 2, 2006. Proceedings

0
索取号:
作者:Schmidt、 Renate A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Star谩 Lesn谩, Slovakia, August 28-September 1, 2006. Proceedings

0
索取号:
作者:Kr谩lovi膷、 Rastislav.、Urzyczyn、 Pawe艂.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Implications of Einstein-Weyl Causality [electronic resource]

0
索取号:
作者:Borchers、 Hans-J眉rgen.、Sen、 Rathindra Nath.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.

Advances in Machine Vision, Image Processing, and Pattern Analysis [electronic resource] : International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006 Xi鈥檃n, China, August 26-27, 2006 Proceedings

0
索取号:
作者:Zheng、 Nanning.、Jiang、 Xiaoyi.、Lan、 Xuguang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类